Constructible function - PDFSEARCH.IO - Document Search Engine

Constructible function
Results: 268

#	Item
231	Cartesian Closed Dialectica Categories Bodil Biering, IT University of Copenhagen, [removed] Add to Reading List Source URL: www.itu.dk Language: English - Date: 2008-04-02 09:52:44 Dialectica interpretation Intuitionism Proof theory Cartesian closed category Universal property Constructible universe Monad Function Fibred category Mathematics Category theory Mathematical logic
232	On the Restricted Ordinal Theorem R. L. Goodstein The Journal of Symbolic Logic, Vol. 9, No. 2. (Jun., 1944), pp[removed]. Add to Reading List Source URL: hpcn.cse.iitm.ac.in Language: English - Date: 2012-07-24 00:01:30 Ordinal number Constructible universe Function Mathematical induction Primitive recursive function Binomial coefficient Bernoulli number Mathematics Functions and mappings Mathematical logic
233	LOGIC NOTES YIANNIS N. MOSCHOVAKIS Add to Reading List Source URL: www.math.ucla.edu Language: English - Date: 2012-07-16 04:13:34 Model theory Functions and mappings Formal languages Metalogic First-order logic Interpretation Function Primitive recursive function Constructible universe Mathematics Logic Mathematical logic
234	Programming in Martin-L¨ of ’s Type Theory Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2010-04-12 10:42:38 Cardinal numbers Function Naive set theory Finite set Constructible universe Equivalence relation Infinite set Well-order Set Mathematics Mathematical logic Set theory
235	Dependence in Probability, Analysis and Number Theory: The Mathematical Work of Walter Philipp[removed]) ´ n Berkes and Herold Dehling Add to Reading List Source URL: www.ruhr-uni-bochum.de Language: English - Date: 2010-04-29 07:07:49 Statistics Central limit theorem Probability space Ordinal number Equidistributed sequence Arithmetic function Constructible universe Characteristic function Additive function Probability theory Mathematical analysis Mathematics
236	Resolution and Binary Decision Diagrams cannot simulate each other polynomially Jan Friso Groote1,2 Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2000-04-06 05:36:51 Metalogic Mathematical logic Formal languages Logical connective Constructible universe Well-formed formula Function Entailment Linear temporal logic Logic Mathematics Logical syntax
237	Aronszajn trees Uri Abraham Department of Mathematics Add to Reading List Source URL: www.cs.bgu.ac.il Language: English - Date: 2009-05-31 03:56:24 Tree Constructible universe Limit ordinal First uncountable ordinal Height Aronszajn tree Ordinal arithmetic Normal function Mathematical logic Ordinal numbers Mathematics
238	Notre Dame Journal of Formal Logic Volume 46, Number 1, 2005 Add to Reading List Source URL: kleene.ss.uci.edu Language: English - Date: 2005-02-01 20:35:14 Z notation Quantification Functions and mappings Peano axioms Logicism S Zermelo–Fraenkel set theory Function Constructible universe Mathematical logic Mathematics Logic
239	BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 42, Number 2, Pages 119–135 Add to Reading List Source URL: www.math.ens.fr Language: English - Date: 2005-05-05 08:12:24 Algebra Motive Interpretation Representation theory Function Constructible universe Formal power series Motivic integration Equivalence relation Mathematics Abstract algebra Algebraic geometry
240	Well Founded Relations and Recursion Roger Bishop Jones Add to Reading List Source URL: www.rbjones.com Language: English - Date: 2012-09-28 15:44:05 Transitive closure Function FO Binary relation Constructible universe Recursion Transitivity Mathematics Mathematical logic Well-founded relation

UPDATE